settings: Convert to GdkEvent API
authorMatthias Clasen <mclasen@redhat.com>
Sat, 26 Aug 2017 02:54:25 +0000 (22:54 -0400)
committerCarlos Garnacho <carlosg@gnome.org>
Tue, 19 Sep 2017 16:39:02 +0000 (18:39 +0200)
commitc68c754f3e5f6cfd31f2d49c47b90dc5b23f2a52
treea6ff4ce4d0b57603f8ac7900a05daaa6abfe8626
parent7cbd35dd869e0d12017642feef3ef4410439e93c
settings: Convert to GdkEvent API
gtk/gtkmain.c
gtk/gtksettings.c
gtk/gtksettingsprivate.h